Nuprl Definition : f2f+AckDcdr 11,40

ack_dcdr == (f2f+.2.2.2.2.2.2.2.2).1 
latex



clarification:

f2f+AckDcdr(f2f+) == (f2f+.2.2.2.2.2.2.2.2).1 
latex


Definitionst.1, t.2
FDL editor aliasesf2f+AckDcdr

origin